monad 變換子
monad transformer
Haskell/Monad transformers - Wikibooks, open books for an open world
Monad transformer - Wikipedia
Monad Transformers - HaskellWiki
Monad Transformers
Haskell モナド変換子 超入門 - Qiita
二重の
monad (圈)
を扱ひ易くする
monad (圈)
型
M
に就いて型
MT
を定義し、
N[M[a]]
を
MT[N,a]
の樣にして扱ふ